Ordinal numbers - PDFSEARCH.IO - Document Search Engine

Ordinal numbers
Results: 227

#	Item
71	Common Logic Motivations and Some Gentle Theory Christopher Menzel Philosophy Department Add to Reading List Source URL: cl.tamu.edu Language: English - Date: 2008-10-30 14:07:48 Constructible universe S Mathematical logic Set theory Ordinal numbers
72	TOWARDS MECHANICAL LEVEL OF DETAIL FOR KNITWEAR SIMULATION Olivier Nocent, Jean-Michel Nourrit, Yannick Remion Laboratoire d’Etudes et de Recherches Informatiques, Université de Reims Champagne-Ardenne, Rue des crayè Add to Reading List Source URL: wscg.zcu.cz Language: English - Date: 2000-12-22 08:51:42 Ordinal numbers Proof theory Fast-growing hierarchy Ordinal arithmetic Mathematical logic Mathematics Continuous function
73	Flexible Type Analysis Karl Crary Stephanie Weirich Carnegie Mellon University Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-04-14 16:12:26 Programming language theory Mathematics Type constructor Type system Recursive data type Turn Constructor Ordinal numbers Curry–Howard correspondence Type theory Mathematical logic Data types
74	Computational Interpretations of Analysis via Products of Selection Functions Mart´ın Escard´o1 and Paulo Oliva2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-03-29 11:53:24 Mathematics Constructible universe Symbol Ε₀ Ordinal arithmetic Mathematical logic Proof theory Ordinal numbers
75	Supplementary Material Uncovering the role of elementary processes in network evolution by Gourab Ghoshal, Liping Chi and Albert-L´aszl´o Barab´asi Table of Contents S1 Converting the rate equation to a differential e Add to Reading List Source URL: www.barabasilab.com Language: English - Date: 2013-10-10 12:50:55 Differential geometry Ordinal numbers Symbol
76	RECOVERY OF A SURFACE WITH BOUNDARY AND ITS CONTINUITY AS A FUNCTION OF ITS TWO FUNDAMENTAL FORMS PHILIPPE G. CIARLET AND CRISTINEL MARDARE Abstract. If a field A of class C 2 of positive-definite symmetric matrices of o Add to Reading List Source URL: www6.cityu.edu.hk Language: English - Date: 2005-10-27 23:04:40 Constructible universe Ordinal numbers Connection Differential geometry Limit set Ordinal arithmetic Mathematics Mathematical analysis Symbol
77	A Revenge-Immune Solution to the Semantic Paradoxes Hartry Field∗ August 29, 2002 Abstract Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Constructible universe Set theory Transfinite induction Proof theory Ordinal arithmetic Symbol Mathematical logic Mathematics Ordinal numbers
78	Hierarchies Ontological and Ideological Øystein Linnebo Birkbeck, University of London [removed] Agust´ın Rayo Massachusetts Institute of Technology Add to Reading List Source URL: www.oysteinlinnebo.org Language: English - Date: 2013-07-31 14:39:50 Ordinal numbers Model theory Predicate logic Semantics Formal methods Limit ordinal Type theory Transfinite induction Ordinal notation Mathematical logic Logic Mathematics
79	General-Elimination Harmony and Higher-Level Rules∗ Stephen Read University of St Andrews September 5, 2013 Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2013-09-05 16:41:53 Logic Proof theory Set theory Ordinal arithmetic Curry–Howard correspondence Mathematical logic Mathematics Ordinal numbers
80	Harmony and Modality Stephen Read abstract. It is argued that the meaning of the modal connectives must be given inferentially, by the rules for the assertion of formulae containing them, and not semantically by referenc Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2012-05-15 10:27:11 Mathematics Deduction Natural deduction Ordinal numbers Set theory Curry–Howard correspondence Mathematical logic Proof theory Logic

UPDATE